dynamic typechecking

动态类型检验(法)